formalizatio相关论文
传统的程序相似性检测工具并不能有效地检测出一些常见的高级词法、语义理解变换的抄袭方式。首先归纳了学生常用的三类抄袭手段,......
UML建模方式广为开发人员使用,但其非形式化的描述方法缺少对所描述内容的形式建模过程,本文通过运用兀。演算描述UML中的时序图,能够......
从数学角度对数据融合进行研究,给出了一个数据融合的数学模型。考察这种数据融合模型的意义,并把其应用于形式化研究中,得出一种形式......